java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files zeroconf.prism --model-input-type prism --property-input-files zeroconf.props --property-input-names correct_min --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=1000,K=8,reset=false
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property correct_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 33654 33653
build-model-states-explored 75898 42245
build-model-states-explored 118809 42911
build-model-states-explored 158547 39737
build-model-states-explored 201630 43084
build-model-states-explored 243651 42021
build-model-states-explored 286194 42543
build-model-states-explored 322869 36674
build-model-states-explored 365450 42582
build-model-states-explored 407783 42333
build-model-states-explored 450392 42609
build-model-states-explored 491155 40763
build-model-states-explored 533528 42373
build-model-states-explored 576412 42884
build-model-states-explored 607137 30725
build-model-states-explored 650290 43153
build-model-states-explored 693344 43054
build-model-states-explored 736348 43004
build-model-states-explored 778858 42510
build-model-states-explored 820687 41828
build-model-states-explored 863701 43015
build-model-states-explored 906806 43105
build-model-states-explored 945881 39075
build-model-states-explored 988573 42692
build-model-states-explored 1031199 42625
build-model-states-explored 1072437 41239
build-model-states-explored 1115193 42756
build-model-states-explored 1144261 29068
build-model-states-explored 1176099 31838
build-model-states-explored 1218731 42632
build-model-states-explored 1261484 42753
build-model-states-explored 1304023 42539
build-model-states-explored 1346969 42946
build-model-states-explored 1389676 42706
build-model-states-explored 1432212 42537
build-model-states-explored 1474812 42599
build-model-states-explored 1517739 42928
build-model-states-explored 1560257 42518
build-model-states-explored 1600949 40692
build-model-states-explored 1643890 42940
build-model-states-explored 1686800 42909
build-model-states-explored 1729143 42343
build-model-states-explored 1772202 43059
build-model-states-explored 1815000 42798
build-model-states-explored 1849979 34979
build-model-done 1870338 45
iterating
iterating-progress-unbounded 39 533.6999999999999 1
iterating-progress-unbounded 82 18.1 2
iterating-progress-unbounded 126 2.3852468080492266 3
iterating-progress-unbounded 169 0.15284305777158655 4
iterating-progress-unbounded 213 0.0016328655155903706 5
iterating-progress-unbounded 256 9.839634515007914E-5 6
iterating-progress-unbounded 299 1.8923972131765076E-5 7
iterating-done 338 7
model-checking-done 57
command-check-result-is 5.040105212929842E-9 correct_min